-
1 recursion theorem
Англо-русский словарь промышленной и научной лексики > recursion theorem
-
2 теорема о рекурсии
теорема о рекурсии
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > теорема о рекурсии
-
3 теорема рекурсии
теорема рекурсии
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > теорема рекурсии
-
4 теорема о рекурсии
recursion theorem мат.Русско-английский научно-технический словарь Масловского > теорема о рекурсии
-
5 теорема о парной рекурсии
Mathematics: double recursion theoremУниверсальный русско-английский словарь > теорема о парной рекурсии
-
6 теорема о рекурсии
Mathematics: recursion theoremУниверсальный русско-английский словарь > теорема о рекурсии
-
7 теорема рекурсии
Information technology: recursion theorem -
8 формула
law, theorem* * *фо́рмула ж.1. formula (мн. formulae)в ви́де фо́рмул — by formulaeизображе́ние полинуклеоти́дных цепо́чек в ви́де фо́рмул о́чень громо́здко — the representation of polynucleotide chains by formulae is clumsyвходи́ть в фо́рмулу — enter into [in] a formula, enter a formulaвыводи́ть фо́рмулу — derive [develop, deduce] a formulaпо фо́рмуле — by formula, from the formulaфо́рмула примени́ма к x — x can be handled by (such and such) formula [equation]2. (состав, напр. удобрения) formulationасимптоти́ческая фо́рмула — asymptotic formulaбарометри́ческая фо́рмула — barometric height formulaфо́рмула Бе́йеса т. над. — Bayes' formulaфо́рмула Берну́лли ( в теории вероятностей) — Bernoulli distributionфо́рмула бино́ма Нью́тона — binomial formulaфо́рмула Вайцзе́ккера яд. физ. — Weizsacker's formulaвалова́я фо́рмула — molecular formulaфо́рмула Га́усса — Gauss formulaфо́рмула де Бро́йля ( в квантовой механике) — de Broglie relation, de Broglie equationинтерполяцио́нная фо́рмула — interpolation formulaфо́рмула интерполяцио́нная, Бе́сселя — Bessel's interpolation formulaфо́рмула интерполяцио́нная, Лагра́нжа — Lagrange's interpolation formulaфо́рмула интерполяцио́нная, Нью́тона — Newton's interpolation formulaфо́рмула интерполяцио́нная, Нью́тона, обра́тная — Newton's backward interpolation formulaфо́рмула интерполяцио́нная, Нью́тона, пряма́я — Newton's forward interpolation formulaисхо́дная фо́рмула — assumption formulaитерацио́нная фо́рмула — iterative formulaквадрату́рная фо́рмула — quadrature formulaколё́сная фо́рмула ж.-д. — wheel arrangementфо́рмула корне́й квадра́тного уравне́ния — quadratic formulaфо́рмула мо́щности — horse-power formulaфо́рмула обра́тного перехо́да — reverse formulaфо́рмула обра́тного преобразова́ния — inversion formulaо́пытная фо́рмула — empirical [experimental] formulaосновна́я фо́рмула — basic formulaфо́рмула оце́нки стат. — estimatorфо́рмула Пла́нка физ. — Planck radiation formula, Planck distribution lawфо́рмула подо́бия для турби́н — law of proportionality for homologous turbinesфо́рмула разме́рности — dimensional formulaфо́рмула расчё́та несу́щей спосо́бности сва́и — pile capacity formulaфо́рмула расчё́та сопротивле́ния сва́и — pile driving formulaрасчё́тная фо́рмула — design formulaрекурре́нтная фо́рмула — recurrence formulaрекурси́вная фо́рмула — recursion formulaстехиометри́ческая фо́рмула — stoichiometric formulaфо́рмула строе́ния физ. — atomic formulaструкту́рная фо́рмула — structural [constitutional] formulaфо́рмула сумми́рования — summation formulaто́чная фо́рмула — exact formulaфо́рмула Френе́ля — Fresnel's (reflection) formulaхими́ческая фо́рмула — chemical formulaхими́ческая, структу́рная фо́рмула — structural [constitutional] chemical formulaхими́ческая, эмпири́ческая фо́рмула — empirical chemical formulaцепна́я фо́рмула — chain formulaфо́рмула Эйнште́йна для фотоэффе́кта — Einstein photoelectric equation
См. также в других словарях:
Recursion theorem — can refer to: * The recursion theorem in set theory * Kleene s recursion theorem, also called the fixed point theorem, in computability theory … Wikipedia
Kleene's recursion theorem — In computability theory, Kleene s recursion theorems are a pair of fundamental results about the application of computable functions to their own descriptions. The theorems were first proved by Stephen Kleene in 1938.This article uses the… … Wikipedia
Recursion — Recursion, in mathematics and computer science, is a method of defining functions in which the function being defined is applied within its own definition. The term is also used more generally to describe a process of repeating objects in a self… … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Fixed point theorem — In mathematics, a fixed point theorem is a result saying that a function F will have at least one fixed point (a point x for which F ( x ) = x ), under some conditions on F that can be stated in general terms. Results of this kind are amongst the … Wikipedia
Smn theorem — In computability theory the smn theorem, (also called the translation lemma, parameter theorem, or parameterization theorem) is a basic result about programming languages (and, more generally, Gödel numberings of the computable functions) (Soare… … Wikipedia
Alpha recursion theory — In recursion theory, the mathematical theory of computability, alpha recursion (often written α recursion) is a generalisation of recursion theory to subsets of admissible ordinals alpha. An admissible ordinal is closed under Sigma 1(L alpha)… … Wikipedia
Index set (recursion theory) — In the field of recursion theory, index sets describe classes of partial recursive functions, specifically they give all indices of functions in that class according to a fixed enumeration of partial recursive functions (a Gödel… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… … Wikipedia
